If The Flowchart Says So, It Must Be True